David Wang

Results: 192



#Item
11Online Word Games for Semantic Data Collection David Vickrey Aaron Bronzan William Choi Aman Kumar Jason Turner-Maier Arthur Wang Daphne Koller Stanford University Stanford, CA {dvickrey,abronzan,aman,arthurex

Online Word Games for Semantic Data Collection David Vickrey Aaron Bronzan William Choi Aman Kumar Jason Turner-Maier Arthur Wang Daphne Koller Stanford University Stanford, CA {dvickrey,abronzan,aman,arthurex

Add to Reading List

Source URL: robotics.stanford.edu

Language: English - Date: 2008-11-05 13:42:54
    12Autom Softw Eng DOIs10515AutoQuery: automatic construction of dependency queries for code search Shaowei Wang · David Lo · Lingxiao Jiang

    Autom Softw Eng DOIs10515AutoQuery: automatic construction of dependency queries for code search Shaowei Wang · David Lo · Lingxiao Jiang

    Add to Reading List

    Source URL: soarsmu.github.io

    Language: English - Date: 2016-07-17 08:44:51
      13Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

      Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

      Add to Reading List

      Source URL: people.csail.mit.edu

      Language: English
        14MODELLING AND STABILITY OF FAST TCP∗ JIANTAO WANG† , DAVID X. WEI† , JOON-YOUNG CHOI‡ , AND STEVEN H. LOW† Abstract. We discuss the modelling of FAST TCP and prove four stability results. Using the traditional

        MODELLING AND STABILITY OF FAST TCP∗ JIANTAO WANG† , DAVID X. WEI† , JOON-YOUNG CHOI‡ , AND STEVEN H. LOW† Abstract. We discuss the modelling of FAST TCP and prove four stability results. Using the traditional

        Add to Reading List

        Source URL: netlab.caltech.edu

        Language: English - Date: 2006-07-15 20:10:50
          15Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde

          Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde

          Add to Reading List

          Source URL: zakird.com

            16Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde

            Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde

            Add to Reading List

            Source URL: kumarde.com

            - Date: 2018-01-08 17:29:16
              17Demystifying the Secure Enclave Processor Tarjei Mandt (@kernelpool) Mathew Solnik (@msolnik) David Wang (@planetbeing)

              Demystifying the Secure Enclave Processor Tarjei Mandt (@kernelpool) Mathew Solnik (@msolnik) David Wang (@planetbeing)

              Add to Reading List

              Source URL: www.syscan360.org

              - Date: 2016-12-04 21:58:42
                18CERES Energy Balanced and Filled (EBAF) TOA Edition 4 Update Norman G. Loeb, Wenying Su, Hailan Wang, Cathy Nguyen, David Doelling, Lusheng Liang, Joe Corbett, and Fred Rose

                CERES Energy Balanced and Filled (EBAF) TOA Edition 4 Update Norman G. Loeb, Wenying Su, Hailan Wang, Cathy Nguyen, David Doelling, Lusheng Liang, Joe Corbett, and Fred Rose

                Add to Reading List

                Source URL: ceres.larc.nasa.gov

                - Date: 2016-04-26 13:10:24
                  19Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER

                  Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER

                  Add to Reading List

                  Source URL: hepex.irstea.fr

                  - Date: 2016-06-20 06:48:43
                    20Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha

                    Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha

                    Add to Reading List

                    Source URL: users.ece.cmu.edu

                    - Date: 2014-05-29 15:38:01